Aziz Abdulla: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2019 International Conference on Innovation and Intelligence for Informatics, Computing, and Technologies (3ICT) - Sakhier, Bahrain (2019.9.22-2019.9.23)] 2019 International Conference on Innovation and Intelligence for Informatics, Computing, and Technologies (3ICT) - LOLP and LOLE Calculation for Smart Cities Power Plants

Husain Saleh, Mohamed Jawad A., Abbas Hasan Abdulla, Sayed Ahmed, Aziz Altaweel, Ali Maitham A., Qamber, Isa S.

Year:

2019

File:

PDF, 814 KB

2019

2

[Lecture Notes in Computer Science] Networked Systems Volume 9944 || Vehicular Ad-Hoc Network: Evaluation of QoS and QoE for Multimedia Application

Abdulla, Parosh Aziz, Delporte-Gallet, Carole

Year:

2016

Language:

english

File:

PDF, 194 KB

english, 2016

3

Frequency Response of a Moving Two-Dimensional Defect in Magnetic Flux Leakage Inspection

Aziz, Mustafa Makki, Abdulla, Reyah, Al-Dujaili, Mohamad

Journal:

IEEE Magnetics Letters

Year:

2019

Language:

english

File:

PDF, 18 KB

english, 2019

4

ZIONIST INFLUENCE ON AMERICAN FOREIGN POLICY

Qutubuddin Aziz and Ahmed Abdulla

Journal:

Pakistan Horizon

Year:

1980

Language:

english

File:

PDF, 1.32 MB

english, 1980

5

Behavior of Multilayer Composite Ferrocement Slabs with Intermediate Rubberized Cement Mortar Layer

Abdulla, Aziz Ibrahim, Khatab, Hadeel Reiadh

Journal:

Arabian Journal for Science and Engineering

Year:

2014

Language:

english

File:

PDF, 3.93 MB

english, 2014

6

Flexural Behaviour of Concrete Beams Bonded with Wire Mesh-Epoxy Composite

Qeshta, Ismail M.I., Shafigh, Payam, Jumaat, Mohd Zamin, Abdulla, Aziz Ibrahim, Alengaram, Ubagaram Johnson, Ibrahim, Zainah

Journal:

Applied Mechanics and Materials

Year:

2014

Language:

english

File:

PDF, 382 KB

english, 2014

7

Effect of Magnesium Sulphate on Self-Compacting Concrete Containing Supplementary Cementitious Materials

Hassan, Aiad, Mahmud, Hilmi Bin, Jumaat, Mohd. Zamin, ALsubari, Belal, Abdulla, Aziz

Journal:

Advances in Materials Science and Engineering

Year:

2013

Language:

english

File:

PDF, 5.35 MB

english, 2013

8

[Lecture Notes in Computer Science] Networked Systems Volume 9944 || Verification of Common Business Rules in BPMN Process Models

Abdulla, Parosh Aziz, Delporte-Gallet, Carole

Year:

2016

Language:

english

File:

PDF, 467 KB

english, 2016

9

[Lecture Notes in Computer Science] Networked Systems Volume 9944 || Hybrid Encryption Approach Using Dynamic Key Generation and Symmetric Key Algorithm for RFID Systems

Abdulla, Parosh Aziz, Delporte-Gallet, Carole

Year:

2016

Language:

english

File:

PDF, 982 KB

english, 2016

10

Integrated framework for early warning system in UAE

Alhmoudi, Abdulla Ali, Aziz, Zeeshan

Journal:

International Journal of Disaster Resilience in the Built Environment

Year:

2016

Language:

english

File:

PDF, 237 KB

english, 2016

11

Fracture Characterization of Multi-Layer Wire Mesh Rubberized Ferrocement Composite Slabs by Means of Acoustic Emission

Behnia, Arash, Ranjbar, Navid, Chai, Hwa Kian, Abdulla, Aziz. I., Masaeli, Mahyar

Journal:

Journal of Cleaner Production

Year:

2017

Language:

english

File:

PDF, 2.26 MB

english, 2017

12

[ACM Press the 40th ACM SIGPLAN Conference - Phoenix, AZ, USA (2019.06.22-2019.06.26)] Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2019 - Verification of programs under the release-acquire semantics

Abdulla, Parosh Aziz, Arora, Jatin, Atig, Mohamed Faouzi, Krishna, Shankaranarayanan

Year:

2019

Language:

english

File:

PDF, 395 KB

english, 2019

13

Comment on âGeneration and exhumation of granitoid intrusions in the Penjween ophiolite complex, NW Zagros of the Kurdistan region of Iraq: Implications for the geodynamic evolution of the Arabia- Eurasia collision zoneâ by Sabah et al., 2020, V.376â377, 105714

Mohammad, Yousif O., Ali, Sarmad A., Aziz, Nabaz R., Yara, Irfan O., Abdulla, Kurda L.

Journal:

Year:

2020

File:

PDF, 568 KB

2020

14

Comparison of ThinPrep® and Conventional Preparations: Urine Cytology Evaluation

U.K. Luthra, Pranab Dey, Josely George, Mohmed A. Abdulla, Azza Abdul Aziz Shaheen, Zafar A. Sheikh, Sara Shirly George

Journal:

Diagnostic Cytopathology

Year:

1999

Language:

english

File:

PDF, 59 KB

english, 1999

15

Universality of R-automata with Value Copying

Parosh Aziz Abdulla, Pavel Krcal, Wang Yi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 279 KB

english, 2009

16

Closed, Open, and Robust Timed Networks

Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 614 KB

english, 2005

17

Monotonic Abstraction in Parameterized Verification

Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 4.02 MB

english, 2008

18

Ensuring completeness of symbolic verification methods for infinite-state systems

Parosh Aziz Abdulla, Bengt Jonsson

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 178 KB

english, 2001

19

Model checking of systems with many identical timed processes

Parosh Aziz Abdulla, Bengt Jonsson

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 202 KB

english, 2003

20

Synthesis and anti-arrhythmic activity of some piperidine-based 1,3-thiazole, 1,3,4-thiadiazole, and 1,3-thiazolo[2,3-c]-1,2,4-triazole derivatives

Hatem A. Abdel-Aziz, Bakr F. Abdel-Wahab, Marwa A. M. Sh. El-Sharief, Mohamed M. Abdulla

Journal:

Monatshefte für Chemie - Chemical Monthly

Year:

2009

Language:

english

File:

PDF, 311 KB

english, 2009

21

Integration of irinotecan and cisplatin with early concurrent conventional radiotherapy for limited-disease SCLC (LD-SCLC)

Sherif Abdelwahab, Hatem Abdulla, Ali Azmy, Ahmed Abdelfatah, Hany Abdel-Aziz, Maha Margerges, Atef Riad, Vinay Sharma, Ibrahim Dwedar

Journal:

International Journal of Clinical Oncology

Year:

2009

Language:

english

File:

PDF, 253 KB

english, 2009

22

Approximated parameterized verification of infinite-state processes with global conditions

Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine

Journal:

Formal Methods in System Design

Year:

2009

Language:

english

File:

PDF, 638 KB

english, 2009

23

Using Forward Reachability Analysis for Verification of Lossy Channel Systems

Parosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani, Bengt Jonsson

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 236 KB

english, 2004

24

Verifying Programs with Unreliable Channels

Parosh Aziz Abdulla, Bengt Jonsson

Journal:

Information and Computation

Year:

1996

Language:

english

File:

PDF, 482 KB

english, 1996

25

Undecidable Verification Problems for Programs with Unreliable Channels

Parosh Aziz Abdulla, Bengt Jonsson

Journal:

Information and Computation

Year:

1996

Language:

english

File:

PDF, 1.79 MB

english, 1996

26

Algorithmic Analysis of Programs with Well Quasi-ordered Domains

Parosh Aziz Abdulla, Kārlis Čerāns, Bengt Jonsson, Yih-Kuen Tsay

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 180 KB

english, 2000

27

Regular model checking

Parosh Aziz Abdulla

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 474 KB

english, 2012

28

Regular model checking for LTL(MSO)

Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d’Orso, Mayank Saksena

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 1.73 MB

english, 2012

29

A classification of the expressive power of well-structured transition systems

Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin

Journal:

Information and Computation

Year:

2011

Language:

english

File:

PDF, 1.22 MB

english, 2011

30

Tree regular model checking: A simulation-based approach

Parosh Aziz Abdulla, Axel Legay, Julien d’Orso, Ahmed Rezine

Journal:

The Journal of Logic and Algebraic Programming

Year:

2006

Language:

english

File:

PDF, 319 KB

english, 2006

31

Something to expect, diagnose, and treat early

Sameh Elsayed, Ahmed Kadri Abdulla, Abed Mowafii, Shaaban Abdul/Aziz Abulela, Mohammed Mounir Elsaeid Awadalla

Journal:

The Journal of Thoracic and Cardiovascular Surgery

Year:

2004

Language:

english

File:

PDF, 33 KB

english, 2004

32

Physiologic permanent retention following space closure

Thomas P. Sperry, Aziz Abdulla

Journal:

American Journal of Orthodontics

Year:

1982

Language:

english

File:

PDF, 2.29 MB

english, 1982

33

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 6605 ||

Abdulla, Parosh Aziz, Leino, K. Rustan M.

Year:

2011

Language:

english

File:

PDF, 6.13 MB

english, 2011

34

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 6605 || CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes

Abdulla, Parosh Aziz, Leino, K. Rustan M.

Year:

2011

Language:

english

File:

PDF, 231 KB

english, 2011

35

The use of wire mesh–epoxy composite for enhancing the flexural performance of concrete beams

Qeshta, Ismail M.I., Shafigh, Payam, Jumaat, Mohd Zamin, Abdulla, Aziz Ibrahim, Ibrahim, Zainah, Alengaram, Ubagaram Johnson

Journal:

Materials & Design

Year:

2014

Language:

english

File:

PDF, 2.44 MB

english, 2014

36

Budget-bounded model-checking pushdown systems

Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Rezine, Othmane, Stenman, Jari

Journal:

Formal Methods in System Design

Year:

2014

Language:

english

File:

PDF, 1004 KB

english, 2014

37

Tools for software verification

Parosh Aziz Abdulla,K. Rustan M. Leino

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2013

Language:

english

File:

PDF, 115 KB

english, 2013

38

Mediating for reduction (on minimizing alternating Büchi automata)

Abdulla, Parosh Aziz, Chen, Yu-Fang, Holík, Lukáš, Vojnar, Tomáš

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 628 KB

english, 2014

39

[IEEE 2009 Sixth International Conference on the Quantitative Evaluation of Systems (QEST) - Budapest, Hungary (2009.09.13-2009.09.16)] 2009 Sixth International Conference on the Quantitative Evaluation of Systems - Infinite-State Verification: From Transition Systems to Markov Chains

Abdulla, Parosh Aziz

Year:

2009

Language:

english

File:

PDF, 117 KB

english, 2009

40

[IEEE Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. - Turku, Finland (2004.07.17-2004.07.17)] Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. - Multi-clock timed networks

Aziz Abdulla, P., Deneux, J., Mahata, P.

Year:

2004

Language:

english

File:

PDF, 579 KB

english, 2004

41

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - Computing Optimal Coverability Costs in Priced Timed Petri Nets

Abdulla, Parosh Aziz, Mayr, Richard

Year:

2011

Language:

english

File:

PDF, 416 KB

english, 2011

42

Pairing as an instructional strategy to promote soft skills amongst clinical dental students

Abu Kasim, N. H., Abu Kassim, N. L., Razak, A. A. A., Abdullah, H., Bindal, P., Che' Abdul Aziz, Z. A., Sulaiman, E., Farook, M. S., Gonzalez, M. A. G., Thong, Y. L., Ahmad, N. A., Naimie, Z., Abdulla

Journal:

European Journal of Dental Education

Year:

2014

Language:

english

File:

PDF, 119 KB

english, 2014

43

[Lecture Notes in Computer Science] Reachability Problems Volume 8169 || Verification of Reachability Properties for Time Petri Nets

Abdulla, Parosh Aziz, Potapov, Igor

Year:

2013

Language:

english

File:

PDF, 273 KB

english, 2013

44

[Lecture Notes in Computer Science] Reachability Problems Volume 8169 ||

Abdulla, Parosh Aziz, Potapov, Igor

Year:

2013

Language:

english

File:

PDF, 3.65 MB

english, 2013

45

A Controlled Study of Personality Patterns in Alcohol and Heroin Abusers in Saudi Arabia

Chinnian, R. Rawlin, Taylor, Larry R., Subaie, Abdulla Al, Sugumar, A., Jumaih, Abdul Aziz Al

Journal:

Journal of Psychoactive Drugs

Year:

1994

Language:

english

File:

PDF, 2.11 MB

english, 1994

46

MONOTONIC ABSTRACTION: ON EFFICIENT VERIFICATION OF PARAMETERIZED SYSTEMS

ABDULLA, PAROSH AZIZ, DELZANNO, GIORGIO, HENDA, NOOMENE BEN, REZINE, AHMED

Journal:

International Journal of Foundations of Computer Science

Year:

2009

Language:

english

File:

PDF, 279 KB

english, 2009

47

COMPOSED BISIMULATION FOR TREE AUTOMATA

ABDULLA, PAROSH AZIZ, BOUAJJANI, AHMED, HOLÍK, LUKÁŠ, KAATI, LISA, VOJNAR, TOMÁŠ

Journal:

International Journal of Foundations of Computer Science

Year:

2009

Language:

english

File:

PDF, 219 KB

english, 2009

48

BISIMULATION MINIMIZATION OF TREE AUTOMATA

ABDULLA, PAROSH AZIZ, HÖGBERG, JOHANNA, KAATI, LISA

Journal:

International Journal of Foundations of Computer Science

Year:

2007

Language:

english

File:

PDF, 968 KB

english, 2007

49

AUTOMATIC VERIFICATION OF DIRECTORY-BASED CONSISTENCY PROTOCOLS WITH GRAPH CONSTRAINTS

ABDULLA, PAROSH AZIZ, DELZANNO, GIORGIO, REZINE, AHMED

Journal:

International Journal of Foundations of Computer Science

Year:

2011

Language:

english

File:

PDF, 304 KB

english, 2011

50

MONOTONIC ABSTRACTION FOR PROGRAMS WITH MULTIPLY-LINKED STRUCTURES

ABDULLA, PAROSH AZIZ, CEDERBERG, JONATHAN, VOJNAR, TOMÁŠ

Journal:

International Journal of Foundations of Computer Science

Year:

2013

Language:

english

File:

PDF, 321 KB

english, 2013